Formal verification of CNL health recommendations

This research is partially supported by EPSRC grant EP/M014290/1.Clinical texts, such as therapy algorithms, are often described in natural language and may include hidden inconsistencies, gaps and potential deadlocks. In this paper, we propose an approach to identify such problems with formal verification. From each sentence in the therapy algorithm we automatically generate a parse tree and derive case frames. From the case frames we construct a state-based representation (in our case a timed automaton) and use a model checker (here UPPAAL) to verify the model. Throughout the paper we use an example of the algorithm for blood glucose lowering therapy in adults with type 2 diabetes to illustrate our approach.Postprin

Cracking in asphalt materials

This chapter provides a comprehensive review of both laboratory characterization and modelling of bulk material fracture in asphalt mixtures. For the purpose of organization, this chapter is divided into a section on laboratory tests and a section on models. The laboratory characterization section is further subdivided on the basis of predominant loading conditions (monotonic vs. cyclic). The section on constitutive models is subdivided into two sections, the first one containing fracture mechanics based models for crack initiation and propagation that do not include material degradation due to cyclic loading conditions. The second section discusses phenomenological models that have been developed for crack growth through the use of dissipated energy and damage accumulation concepts. These latter models have the capability to simulate degradation of material capacity upon exceeding a threshold number of loading cycles.Peer ReviewedPostprint (author's final draft

Control over topological insulator photocurrents with light polarization

Three-dimensional topological insulators represent a new quantum phase of matter with spin-polarized surface states that are protected from backscattering. The static electronic properties of these surface states have been comprehensively imaged by both photoemission and tunneling spectroscopies. Theorists have proposed that topological surface states can also exhibit novel electronic responses to light, such as topological quantum phase transitions and spin-polarized electrical currents. However, the effects of optically driving a topological insulator out of equilibrium have remained largely unexplored experimentally, and no photocurrents have been measured. Here we show that illuminating the topological insulator Bi2Se3 with circularly polarized light generates a photocurrent that originates from topological helical Dirac fermions, and that reversing the helicity of the light reverses the direction of the photocurrent. We also observe a photocurrent that is controlled by the linear polarization of light, and argue that it may also have a topological surface state origin. This approach may allow the probing of dynamic properties of topological insulators and lead to novel opto-spintronic devices.Comment: Accepted in Nature Nanotechnology, November 2 201

Cost of antipsychotic polypharmacy in the treatment of schizophrenia

<p>Abstract</p> <p>Background</p> <p>This study compared the costs of antipsychotic polypharmacy for patients who initiated on 1 of the 3 most commonly prescribed atypical antipsychotics – olanzapine, quetiapine, or risperidone.</p> <p>Methods</p> <p>Data were drawn from a large, prospective, naturalistic, multi-site, nonrandomized study of treatment for schizophrenia in the United States conducted between July 1997 and September 2003. Participants who were initiated on olanzapine (N = 405), quetiapine (N = 115), or risperidone (N = 276) were followed for 1 year post initiation and compared on: (a) average daily cost of the index antipsychotic while on the index antipsychotic, (b) average daily cost of the coprescribed antipsychotics while on the index antipsychotic, (c) average daily cost of the index antipsychotic and the coprescribed antipsychotics while on the index antipsychotic, (d) total annual cost of antipsychotic medications prescribed in the year following initiation on the index antipsychotic, using propensity score-adjusted bootstrap resampling method. Average daily antipsychotic costs and total annual antipsychotic costs were also estimated using more recent (2004) antipsychotic drug prices.</p> <p>Results</p> <p>During the 1 year following initiation on the index antipsychotic, the total average daily cost of the index antipsychotic was higher for quetiapine ($15.33) than olanzapine ($13.90, p < .05) and risperidone ($11.04, p < .01), although the average daily cost of the index antipsychotic was higher for olanzapine ($10.08) than risperidone ($6.74, p < .01) or quetiapine ($6.63, p < .01). Lower total average daily costs were observed in risperidone than olanzapine or quetiapine. Significantly lower average daily cost of concomitant antipsychotic medications for olanzapine ($3.82) compared to quetiapine ($8.70, p < .01) or risperidone-initiated patients ($4.30, p < .01) contributed to the lower average daily cost of all antipsychotic medication for olanzapine-initiated patients. Each dollar spent on the index antipsychotic was accompanied by spending an additional$1.31 on concomitant antipsychotics for quetiapine compared to $0.64 for risperidone and$0.38 for olanzapine-initiated patients. A separate intent-to-treat analysis of the total annual antipsychotic cost found a significantly higher total annual antipsychotic cost for quetiapine-initiated patients ($5320) compared to olanzapine ($4536, p < .01) or risperidone ($3813, p < .01).</p> <p>Conclusion</p> <p>Prevalent antipsychotic polypharmacy adds substantial cost to the treatment of schizophrenia. Comparison of medication costs need to address the costs of all antipsychotics. A better understanding of concomitant antipsychotic costs provides a more accurate portrayal of antipsychotic medication costs in the treatment of schizophrenia.</p

Search for CP violation in D+→ϕπ+ and D+s→K0Sπ+ decays

A search for CP violation in D + → ϕπ + decays is performed using data collected in 2011 by the LHCb experiment corresponding to an integrated luminosity of 1.0 fb−1 at a centre of mass energy of 7 TeV. The CP -violating asymmetry is measured to be (−0.04 ± 0.14 ± 0.14)% for candidates with K − K + mass within 20 MeV/c 2 of the ϕ meson mass. A search for a CP -violating asymmetry that varies across the ϕ mass region of the D + → K − K + π + Dalitz plot is also performed, and no evidence for CP violation is found. In addition, the CP asymmetry in the D+s→K0Sπ+ decay is measured to be (0.61 ± 0.83 ± 0.14)%

Identification and In Vivo Characterization of NvFP-7R, a Developmentally Regulated Red Fluorescent Protein of Nematostella vectensis

In recent years, the sea anemone Nematostella vectensis has emerged as a critical model organism for comparative genomics and developmental biology. Although Nematostella is a member of the anthozoan cnidarians (known for producing an abundance of diverse fluorescent proteins (FPs)), endogenous patterns of Nematostella fluorescence have not been described and putative FPs encoded by the genome have not been characterized.We described the spatiotemporal expression of endogenous red fluorescence during Nematostella development. Spatially, there are two patterns of red fluorescence, both restricted to the oral endoderm in developing polyps. One pattern is found in long fluorescent domains associated with the eight mesenteries and the other is found in short fluorescent domains situated between tentacles. Temporally, the long domains appear simultaneously at the 12-tentacle stage. In contrast, the short domains arise progressively between the 12- and 16-tentacle stage. To determine the source of the red fluorescence, we used bioinformatic approaches to identify all possible putative Nematostella FPs and a Drosophila S2 cell culture assay to validate NvFP-7R, a novel red fluorescent protein. We report that both the mRNA expression pattern and spectral signature of purified NvFP-7R closely match that of the endogenous red fluorescence. Strikingly, the red fluorescent pattern of NvFP-7R exhibits asymmetric expression along the directive axis, indicating that the nvfp-7r locus senses the positional information of the body plan. At the tissue level, NvFP-7R exhibits an unexpected subcellular localization and a complex complementary expression pattern in apposed epithelia sheets comprising each endodermal mesentery.These experiments not only identify NvFP-7R as a novel red fluorescent protein that could be employed as a research tool; they also uncover an unexpected spatio-temporal complexity of gene expression in an adult cnidarian. Perhaps most importantly, our results define Nematostella as a new model organism for understanding the biological function of fluorescent proteins in vivo